../src/util/bv2.h